$\forall$$r$,$s$:rationals. ($r$ $\ast$ $s$) = ($s$ $\ast$ $r$) $\in$ rationals